Technology for testing nondeterministic client/server database applications

The execution of a client/server application involving database access requires a sequence of database transaction events (or, T-events), called a transaction sequence (or, T-sequence). A client/server database application may have nondeterministic behavior in that multiple executions thereof with the same input may produce different T-sequences. We present a framework for testing all possible T-sequences of a client/server database application. We first show how to define a T-sequence in order to provide sufficient information to detect race conditions between T-events. Second, we design algorithms to change the outcomes of race conditions in order to derive race variants, which are prefixes of other T-sequences. Third, we develop a prefix-based replay technique for race variants derived from T-sequences. We prove that our framework can derive all the possible T-sequences in cases where every execution of the application terminates. A formal proof and an analysis of the proposed framework are given. We describe a prototype implementation of the framework and present experimental results obtained from it.     

Mapping rule-based systems onto multicomputers using simulated annealing

In this paper, we present a static load balancing method for mapping production rules in an expert system onto processors of a message-passing multicomputer. The method uses simulated annealing to achieve a nearly optimal allocation of production rules onto processor nodes. The approach balances the initial rule distribution to avoid higher communication demand among processor nodes at run time. A formal mapping model is developed and a new cost function is defined for the annealing process. New heuristic swap functions and cooling policies are provided to ensure the quality of the annealing process. A software load balancing package, SIMAL, was implemented on a SUN workstation to carry out the benchmark experiments. The overhead associated with this mapping method is O(m In m), where m is the number of rules in the production system. Two benchmark production systems, Toru-waltz and Tourney, are mapped onto a hypercube computer with 32 nodes. Experimental benchmark results verify the effectiveness of the rule mapping method. The method can be applied for distributed artificial intelligence processing or for the parallel execution of cooperating expert systems on a message-passing multicomputer.     

Highly ordered microstructures of poly(styrene-b-isoprene) block copolymers induced by solution meniscus

Microstructures of hundreds of micron thick poly(styrene-block-isoprene) copolymer films solution-cast in a cylindrical tube with the solvent evaporation controlled were investigated by transmission electron microscope (TEM), small angle X-ray scattering (SAXS) and optical microscope (OM). In a block copolymer with cylindrical polyisoprene microdomains, the orientation of the cylinders was varied along radial direction of the cylindrical tube. Highly aligned hexagonal arrays of in-plane polyisoprene cylinders were formed with their cylindrical axis parallel to the circumference of the tube in the regimes close to the wall edge. In contrast randomly ordered microdomains were observed at the center of the tube. We have also found that the orientation depends on the solvent evaporation rate and an intermediate rate (∼2.3 nL/s) provides the best orientation. In the case of a block copolymer with a bicontinuous double gyroid structure, we obtained a globally ordered microstructure where [111] crystallographic direction was parallel to the circumference of the tube. For both block copolymers, the area of highly ordered arrays of nanoscopic domains is over 1 mm². Development of the orientation was explained by coupling two orthogonal fields: (1) The flow of a solution induced by strong capillary force at a meniscus between the cylindrical tube wall and the block copolymer solution and (2) the solvent evaporation.     

Model development for multicomponent mass transfer with rapid chemical reactions in a small drop

Multicomponent mass transfer accompanied by instantaneous chemical reactions in a small drop has been modeled and simulated for the case where two different solutes diffuse from a continuous phase into the drop and react rapidly with a third reactant in the drop. The computational results obtained by Galerkin’s finite element method are reported in terms of concentration profiles, the locations of reaction front, the cumulative mass flux, and the enhancement factor. The effects of physical parameters, such as diffusivities of the solutes and the reactant, the interfacial concentration of solutes, and the relative amount of the reactant, on the calculated quantities are discussed.     

映射半解析边界元法解瞬态弹性动力问题的有关问题

提出了映射半解析边界元法解百轴对称瞬态弹性动力问题时存在解析方向不能正确反映波的传播现象的问题，产生该问题的原因和如何解决该问题的建议。     

Episodic Logic: A comprehensive,natural representation for language understanding

A new comprehensive framework for narrative understanding has been developed. Its centerpiece is a new situational logic calledEpisodic Logic (EL), a knowledge and semantic representation well-adapted to the interpretive and inferential needs of general NLU. The most distinctive features of EL is its natural language-like expressiveness. It allows for generalized quantifiers, lambda abstraction, sentence and predicate modifiers, sentence and predicate reification, intensional predicates (corresponding to wanting, believing, making, etc.), unreliable generalizations, and perhaps most importantly, explicit situational variables (denoting episodes, events, states of affairs, etc.) linked to arbitrary formulas that describe them. These allow episodes to be explicitly related in terms of part-whole, temporal and causal relations. Episodic logical form is easily computed from surface syntax and lends itself to effective inference.     

Role of hepatic resection in surgery for bilateral intrahepatic stones

The effect of phenylephrine-induced reflex parasympathetic stimulation on QT interval and its dispersion was studied in 16 healthy subjects with a history of paroxysmal supraventricular tachycardia, both during sinus rhythm and during atrial pacing. Results demonstrate that rapid reflex parasympathetic stimulation does not influence QT interval duration or QT dispersion, and also emphasize the inappropriateness of Bazett's formula, the need for comparison of QT intervals during identical heart rates, and the importance of analyzing all 12 leads of a standard electrocardiogram when assessing the effects of various interventions on the QT interval.     

InxGa1−xAs (x=0.25–0.35) grown at low temperature

In_xGa_1−xAs (x=0.25–0.35) grown at low temperature on GaAs by molecular beam epitaxy is characterized by Hall effect, transmission electron microscopy, and ultrafast optical testing. As with low temperature (LT) GaAs, the resistivity is generally higher after a brief anneal at 600°C. High-resolution transmission electron microscopy shows all the as-grown epilayers to be heavily dislocated due to the large lattice mismatch (2–3%). When the layers are annealed, in addition to the dislocations, precipitates are also generally observed. As with LT-GaAs, the lifetime shortens as growth temperature is reduced through the range 300–120°C; also, the lifetime in LT-In_xGa_1−xAs is generally shorter in as-grown samples relative to annealed samples. Metal-semiconductor-metal photodetectors fabricated on the material exhibit response times of 1–2 picoseconds, comparable to results reported on GaAs grown at low temperature, and the fastest ever reported in the wavelength range of 1.0–1.3 μm.     

弹性杆与水下壳体接触冲击的冲击力计算研究

对弹性杆与水下壳体接触冲击问题进行了研究，用有限元法模拟壳体，边界无法模拟无限域流体，通过温面上的耦合条件进行联立求解，文中给出了典型算例，并进行了有关讨论。